61![Math´ematiques `a rebours et un Lemme de K¨onig Faible de Type Ramsey Stage de Master 2 - MPRI mars - aoˆ ut 2012 Ludovic Patey ∗ Math´ematiques `a rebours et un Lemme de K¨onig Faible de Type Ramsey Stage de Master 2 - MPRI mars - aoˆ ut 2012 Ludovic Patey ∗](https://www.pdfsearch.io/img/4b0e49e80b55fcab0b0a20b406f848c3.jpg) | Add to Reading ListSource URL: ludovicpatey.comLanguage: English - Date: 2013-04-16 05:40:26
|
---|
62![Separating the Degree Spectra of Structures Tyler John Markkanen, Ph.D. University of Connecticut, 2009 In computable model theory, mathematical structures are studied on the basis of Separating the Degree Spectra of Structures Tyler John Markkanen, Ph.D. University of Connecticut, 2009 In computable model theory, mathematical structures are studied on the basis of](https://www.pdfsearch.io/img/fe207f4b8a589ed03c62efcf5d12d405.jpg) | Add to Reading ListSource URL: www.math.uconn.eduLanguage: English - Date: 2009-06-07 10:47:50
|
---|
63![15 > 17 JUNE http://cca-net.de anfiteatro -1.A, Faculdade de Economia 15 > 17 JUNE http://cca-net.de anfiteatro -1.A, Faculdade de Economia](https://www.pdfsearch.io/img/6faa2598e6e89db2f416404a9c950cb7.jpg) | Add to Reading ListSource URL: cca-net.deLanguage: English - Date: 2016-05-26 12:34:11
|
---|
64![Fluctuations, effective learnability and metastability in analysis Ulrich Kohlenbach, Pavol Safarik Department of Mathematics, Technische Universit¨ at Darmstadt, Schlossgartenstraße 7, 64289 Darmstadt, Germany Fluctuations, effective learnability and metastability in analysis Ulrich Kohlenbach, Pavol Safarik Department of Mathematics, Technische Universit¨ at Darmstadt, Schlossgartenstraße 7, 64289 Darmstadt, Germany](https://www.pdfsearch.io/img/d375dc3b39b05cf368d2bc347825dec3.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2013-05-10 05:50:36
|
---|
65![Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization∗ Ulrich Kohlenbach Fachbereich Mathematik, J.W.Goethe–Universitt Robert–Mayer–Str. 6–10, 6000 F Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization∗ Ulrich Kohlenbach Fachbereich Mathematik, J.W.Goethe–Universitt Robert–Mayer–Str. 6–10, 6000 F](https://www.pdfsearch.io/img/9bc412d831e531f894152ad74de84fd4.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2014-04-08 11:54:42
|
---|
66![RAMSEY’S THEOREM FOR SINGLETONS AND STRONG COMPUTABLE REDUCIBILITY DAMIR D. DZHAFAROV, LUDOVIC PATEY, REED SOLOMON, AND LINDA BROWN WESTRICK Abstract. We answer a question posed by Hirschfeldt and Jockusch by showing RAMSEY’S THEOREM FOR SINGLETONS AND STRONG COMPUTABLE REDUCIBILITY DAMIR D. DZHAFAROV, LUDOVIC PATEY, REED SOLOMON, AND LINDA BROWN WESTRICK Abstract. We answer a question posed by Hirschfeldt and Jockusch by showing](https://www.pdfsearch.io/img/1d1d44a1d930ac9b52d9c01e995b3018.jpg) | Add to Reading ListSource URL: ludovicpatey.comLanguage: English - Date: 2016-05-31 11:43:35
|
---|
67![On uniform weak K¨onig’s lemma Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade On uniform weak K¨onig’s lemma Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade](https://www.pdfsearch.io/img/2ff5e004b1340ae2495d25f4380e5b33.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2012-11-16 09:11:16
|
---|
68![OPEN QUESTIONS ABOUT RAMSEY-TYPE STATEMENTS IN REVERSE MATHEMATICS LUDOVIC PATEY Abstract. Ramsey’s theorem states that for any coloring of the n-element subsets of N with finitely many colors, there is an infinite set OPEN QUESTIONS ABOUT RAMSEY-TYPE STATEMENTS IN REVERSE MATHEMATICS LUDOVIC PATEY Abstract. Ramsey’s theorem states that for any coloring of the n-element subsets of N with finitely many colors, there is an infinite set](https://www.pdfsearch.io/img/a404a4dedb9d96178b06de6016fa15bf.jpg) | Add to Reading ListSource URL: ludovicpatey.comLanguage: English - Date: 2015-10-26 09:24:01
|
---|
69![Things that can and things that can’t be done in PRA Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade, Bldg. 540 Things that can and things that can’t be done in PRA Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade, Bldg. 540](https://www.pdfsearch.io/img/bc8c7493128fd9e881f61259f7f61d55.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2012-11-16 09:11:59
|
---|
70![Classical provability of uniform versions and intuitionistic provability Makoto Fujiwara∗ Mathematical Institute Tohoku University 6-3, Aramaki Aoba, Aoba-ku Sendai, Miyagi, Japan Classical provability of uniform versions and intuitionistic provability Makoto Fujiwara∗ Mathematical Institute Tohoku University 6-3, Aramaki Aoba, Aoba-ku Sendai, Miyagi, Japan](https://www.pdfsearch.io/img/2417607eac846ef99ab9d31f33debe5f.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2013-08-17 07:52:06
|
---|